Area claims of the passengers at mass public transport hubs

The article presents the results of the first period of a research carried out at The Czech Technical University in Prague, Faculty of Transportation Sciences, which is aimed to set the optimal dimensions of waiting areas in the premises of public mass transport change nodes. It is aimed especially at a structure of passengers using public transport expressing the percentage of each of the groups for which different areal demands are characteristic. Such survey has not been carried out in the Czech Republic so far. Application of the research, of which the first outputs are presented in this article, allows us to upgrade an outdated methodology for setting an appropriate dimensions of public parts of railway station buildings, which is still used in the Czech Republic

CATEGORIZATION OF RAILWAY STATIONS AND STOPS AND ITS APPLICATION

Článek představuje univerzálně použitelný nástroj pro kategorizaci tarifních bodůželezniční osobní dopravy, který má potenciál se stát rozhodovacím nástrojemnapříklad pro stanovení poplatku za použití tarifního bodu nebo optimálníhovybavení výpravní budovy. Nástroj záměrně jako vstupy používá snadno zjistitelnéa jednoznačné údaje. Výstupem je bodové ohodnocení železniční stanice a zastávkydoplněné o charakteristické příznaky, který má univerzální další využití.The article introduces universally applicable instrument for railway personaltransport tariff point categorization, which has a potential to become a decisionsupportinstrument, which could be used for setting a fee for tariff point use or fordetermination of optimal equipment of the station building. The instrumentintentionally uses easily acquirable and definite inputs. The output is a point-ratingof the station supplemented by characteristic signs, allowing universal furtherusage. &nbsp

Proportioning with second-order information for model predictive control

We propose an algorithm for the effective solution of quadratic programming (QP) problems arising from model predictive control (MPC). MPC is a modern multivariable control method which gives the solution for a QP problem at each sample instant. Our algorithm combines the active-set strategy with the proportioning test to decide when to leave the actual active set. For the minimization in the face, we use a direct solver implemented by the Cholesky factors updates. The performance of the algorithm is illustrated by numerical experiments, and the results are compared with the state-of-the-art solvers on benchmarks from MPC.Web of Science32345443

Z3-Noodler: An Automata-based String Solver

<p>This is the artifact for the TACAS'24 submission "Z3-Noodler: An Automata-based String Solver".</p><p>For instructions, see attached README.txt file, or the same file at tacas24-artifact/README.txt.</p&gt

Z3-Noodler: An Automata-based String Solver

<p>This is the artifact for the TACAS'24 submission "Z3-Noodler: An Automata-based String Solver".</p><p>For instructions, see attached README.txt file, or the same file at tacas24-artifact/README.txt.</p&gt